lipschitz constant K